Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
801	/home/mszudzik/files/WRI/Archives/WRI2006/NKS2006/ElegantPairing/ElegantPairing.nb Add to Reading List Source URL: szudzik.com Language: English - Date: 2013-07-31 11:11:48 Combinatory logic Logic in computer science Pairing function Function Mathematical logic Mathematics Lambda calculus
802	arXiv:math-ph/9805005v1 6 May 1998 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-04 02:29:21 Science Statistical theory Information theory Adiabatic accessibility Entropy Second law of thermodynamics Lambda calculus Limit set Philosophy of thermal and statistical physics Thermodynamics Physics
803	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
804	Journal of Articial Intelligence Research[removed] Submitted 1/96; published 4/96 A Divergence Critic for Inductive Proof [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:15:55 Automated theorem proving Heuristics Rippling Divergence Lambda calculus Exponentiation Del Mathematics Mathematical analysis Vector calculus
805	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
806	E. Artal J. Carmona J. I. Cogolludo n.0 32 Add to Reading List Source URL: www.unizar.es Language: English - Date: 2001-10-10 13:14:56 Combinatory logic Lambda calculus Logic in computer science
807	The Little Book on CoffeeScript What is CoffeeScript? « Back to all chapters Add to Reading List Source URL: jameslavin.com Language: English - Date: 2012-03-23 12:38:21 Cross-platform software Data types Functional programming Lambda calculus CoffeeScript Scripting languages JavaScript Read–eval–print loop Fat comma Software engineering Computing Computer programming
808	Teaching Tips [removed] and [removed] Preamble: Why we wrote this. Almost all of us do some teaching. All of us could do better. If doing better required a lot of time or a drastic overh Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-01-06 12:00:12 Mathematical optimization Maxima and minima Continuous function Lambda calculus Mode New Math Mathematics Mathematical analysis Calculus
809	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
810	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics

UPDATE